calcul des prédicats en chinois

• 一阶逻辑

• calcul:    音标：[kalkyl] n.m....
• des:    音标：[dε] art....
• calcul des séquents:    相继式演算...
• partition précalculée:    预计算分区...
• calculé:    动词变位提示：calculé是calculer的变位形式calculéadj ......
• calcul des constructions:    构造演算...
• calcul des propositions:    命题逻辑...
• calcul des variations:    变分法...
• télécalcul:    télécalculm.运程计算...
• calcul différentiel:    微分...
• calcul distribué:    calcul distribué; 分布式计算...
• calcul infinitésimal:    微积分学...
• calcul rénal:    肾结石...
• calcul réversible:    可逆计算...
• calculé selon:    折合标定...

• Le calcul des constructions étend cet isomorphisme aux preuves dans le calcul des prédicats intuitionniste dans son ensemble, ce qui inclut par conséquent des preuves de formules quantifiées (que l'on appellera également « propositions »).
  构造演算扩展了这个同构为在完全的直觉谓词逻辑中的证明，这包括了量化陈述（它也叫做"命题"）的证明。